Residue Reduced Form of a Rational Function as an Iterated Laurent Series
نویسندگان
چکیده
Lipshitz showed that the diagonal of a D-finite power series is still D-finite, but his proof seems hard to implement. This paper may be regarded as the first step towards an efficient algorithm realizing Lipshitz’s theory. We show that the idea of a reduced form may be a big saving for computing the D-finite functional equation. For the residue in one variable of a rational function, we develop an algorithm for computing its minimal algebraic functional equation.
منابع مشابه
ON ANNIHILATOR PROPERTIES OF INVERSE SKEW POWER SERIES RINGS
Let $alpha$ be an automorphism of a ring $R$. The authors [On skewinverse Laurent-serieswise Armendariz rings, Comm. Algebra 40(1)(2012) 138-156] applied the concept of Armendariz rings to inverseskew Laurent series rings and introduced skew inverseLaurent-serieswise Armendariz rings. In this article, we study on aspecial type of these rings and introduce strongly Armendariz ringsof inverse ske...
متن کاملBaker-akhiezer Function as Iterated Residue and Selberg-type Integral
A simple integral formula as an iterated residue is presented for the Baker-Akhiezer function related to An type root system both in the rational and trigonometric cases. We present also a formula for the Baker-Akhiezer function as a Selberg-type integral and generalise it to the deformed An,1case. These formulas can be interpreted as new cases of explicit evaluation of Selberg-type integrals.
متن کاملPrediction Properties of Aitken’s Iterated ∆ Process, of Wynn’s Epsilon Algorithm, and of Brezinski’s Iterated Theta Algorithm
The prediction properties of Aitken’s iterated ∆ process, Wynn’s epsilon algorithm, and Brezinski’s iterated theta algorithm for (formal) power series are analyzed. As a first step, the defining recursive schemes of these transformations are suitably rearranged in order to permit the derivation of accuracy-through-order relationships. On the basis of these relationships, the rational approximan...
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملA package on formal power series
Formal Laurent-Puiseux series of the form f(x) = ∑ k k0 akx k/n (1) are important in many branches of mathematics. Whereas Mathematica supports the calculation of truncated series with its Series command, and the Mathematica package SymbolicSum that is shipped with Mathematica version 2 is able to convert formal series of type (1) in some instances to their corresponding generating functions, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. J. Comb.
دوره 20 شماره
صفحات -
تاریخ انتشار 2013